2.3 - Postulates And Diagrams